Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo

Source URL: www.cs.uni-potsdam.de

• Logic programming
• Answer set programming
• ASCII
• Coala
• Linear temporal logic
• Stable model semantics

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck

Source URL: paradise.caltech.edu

• Mathematics
• Mathematical analysis
• Integer sequences
• Probability theory
• Automated theorem proving
• Logic programming
• Logical truth
• Substitution
• Automatic sequence

Istation Reading Curriculum Correlated to Georgia Standards of Excellence (GSE) for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Computing
• Logic programming
• System time
• XC
• TT
• Software
• Computer engineering

Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Programming language semantics
• Philosophical logic
• Non-classical logic
• Operational semantics
• Semantics
• Kripke semantics
• Modal logic
• Axiomatic semantics

Istation Reading Curriculum Correlated to COMMON CORE STATE STANDARDS FOR English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Logic programming
• System time
• Common Core State Standards Initiative
• Curriculum

Answer Set Programming’s Contributions to Classical Logic An analysis of ASP methodology Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, and Maurice Bruynooghe Department of Computer Science, K.U. Leuve

Source URL: people.cs.kuleuven.be

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

Large Knowledge Collider - a Service-Oriented Platform for Large-Scale Semantic Reasoning Matthias Assel, Alexey Cheptsov, Georgina Gallizo

Source URL: www.cyc.com

• Software
• Computing
• Workflow technology
• Knowledge engineering
• Application programming interfaces
• Plug-in
• Workflow
• Semantic Web
• Ontology
• Eclipse
• Logic Pro
• Web application

Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic William Yang Wang Kathryn Mazaitis

Source URL: www.cs.cmu.edu

• Logic
• Philosophy
• Crowdsourcing
• Google Search
• PageRank
• Reputation management
• Search engine optimization
• Markov logic network
• Probabilistic logic
• Markov random field
• Inference
• Substitution